(declare-fun _substvar_1_ () Bool)
(push)
(assert _substvar_1_)
(push)
(pop)
(assert true)
(check-sat)
(pop)
(check-sat)
